Skip to content

Investigate (and fix) VADD CI failure#3073

Merged
mgravell merged 2 commits intomainfrom
marc/ci
May 8, 2026
Merged

Investigate (and fix) VADD CI failure#3073
mgravell merged 2 commits intomainfrom
marc/ci

Conversation

@mgravell
Copy link
Copy Markdown
Collaborator

@mgravell mgravell commented May 8, 2026

fix #3072

The real issue here was that the Windows CI uses apt-get, which means it pulls down GA; 8.6.3 went GA, and includes a change to VADD, where-by if you attempt to REDUCE vector to a size larger than the actual data (i.e. actually an expansion), it fails. That's exactly what we were doing!

@mgravell mgravell merged commit 8e72ad4 into main May 8, 2026
7 of 11 checks passed
@mgravell mgravell deleted the marc/ci branch May 8, 2026 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

CI failure, VADD on Windows

1 participant